
/**
 * Header for the Global Descriptor Table (GDT)
 *
 * 7/27/06 Pavel - Completed
 */

#ifndef __GDT
#  define __GDT

extern void gdt_flush();

void gdt_set_gate(int, unsigned long, unsigned long, unsigned char, unsigned char);
void gdt_install();

#endif
